(define (problem tire_25_0_17596)
  (:domain tire)
  (:objects n0 n1 n2 n3 n4 n5 n6 n7 n8 n9 n10 n11 n12 n13 n14 n15 n16 n17 n18 n19 n20 n21 n22 n23 n24 - location)
  (:init (vehicle-at n13)
         (road n0 n1) (road n1 n0)
         (road n0 n5) (road n5 n0)
         (road n0 n9) (road n9 n0)
         (road n1 n13) (road n13 n1)
         (road n2 n3) (road n3 n2)
         (road n2 n5) (road n5 n2)
         (road n2 n19) (road n19 n2)
         (road n4 n11) (road n11 n4)
         (road n5 n17) (road n17 n5)
         (road n6 n7) (road n7 n6)
         (road n6 n14) (road n14 n6)
         (road n6 n16) (road n16 n6)
         (road n7 n12) (road n12 n7)
         (road n7 n18) (road n18 n7)
         (road n7 n19) (road n19 n7)
         (road n8 n13) (road n13 n8)
         (road n8 n14) (road n14 n8)
         (road n8 n18) (road n18 n8)
         (road n8 n24) (road n24 n8)
         (road n9 n21) (road n21 n9)
         (road n10 n18) (road n18 n10)
         (road n11 n14) (road n14 n11)
         (road n12 n17) (road n17 n12)
         (road n12 n18) (road n18 n12)
         (road n12 n21) (road n21 n12)
         (road n13 n14) (road n14 n13)
         (road n14 n18) (road n18 n14)
         (road n15 n18) (road n18 n15)
         (road n15 n21) (road n21 n15)
         (road n15 n23) (road n23 n15)
         (road n16 n20) (road n20 n16)
         (road n18 n22) (road n22 n18)
         (road n18 n23) (road n23 n18)
         (road n18 n24) (road n24 n18)
         (road n19 n21) (road n21 n19)
         (road n21 n22) (road n22 n21)
         (road n21 n23) (road n23 n21)
         (road n21 n24) (road n24 n21)
         (road n22 n24) (road n24 n22)
         (road n23 n24) (road n24 n23)
         (spare-in n0)
         (spare-in n1)
         (spare-in n2)
         (spare-in n5)
         (spare-in n6)
         (spare-in n10)
         (spare-in n13)
         (spare-in n14)
         (spare-in n15)
         (spare-in n16)
         (spare-in n18)
         (spare-in n21)
         (spare-in n24)
         (not-flattire)
  )
  (:goal (vehicle-at n18))
)
